1. A Concise Introduction to Mathematical Logic

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.

2. A 25-Year Perspective on Logic Programmin

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer science.,Information theory.,Logic design.,Artificial intelligence.

3. A 25-Year perspective on logic programming

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Italian Association for Logic Programming,Logic programming

رده :
QA76
.
63
.
T84
2010

4. A perspective of constraint-based reasoning :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.

رده :
QA75
.
E358
1992

5. A primer on scientific programming with Python /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.

رده :
QA76
.
73
.
P98

6. A science of operations

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical

رده :
QA76
.
6
.
P75
2010

7. A science of operations

المؤلف:

المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical

رده :
QA
،
76
.
6
،.
P737
،
2010

8. A science of operations: Machines, logic and the invention of programming

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

9. A tight, practical integration of relations and functions

المؤلف:

المکتبة: (طهران)

موضوع: ، Logic programming,، Functional programming )Computer science(,، Relational databases

رده :
QA
76
.
L28
Vol
.
1712

10. A 25-year perspective on logic programming

المؤلف:

المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

11. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP

المؤلف:

المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع: ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming

رده :
QA
76
.
63
.
A14
2010

12. ACM Turing Award lectures :

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)

رده :
QA76
.
24
.
A33
1987

13. AI and Cognitive Science '92 :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Software engineering.

14. AI and cognitive science :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Intelligence artificielle -- Actes de congrès.

15. AI approaches to the complexity of legal systems :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.

رده :
K213

16. AQA A level Computer Science.

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :
QA76

17. Abduction and Induction

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.

18. Adapting proofs-as-programs

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local

رده :
E-BOOK

19. Adapting proofs-as-programs

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science

رده :
E-BOOK

20. Adapting proofs-as-programs

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)

رده :
QA
,
9
.
54
,.
P64
,
2005